منابع مشابه
Strategy Logic
We introduce strategy logic, a logic that treats strategies in two-player games as explicit firstorder objects. The explicit treatment of strategies allows us to specify properties of nonzero-sum games in a simple and natural way. We show that the one-alternation fragment of strategy logic is strong enough to express the existence of Nash equilibria and secure equilibria, and subsumes other log...
متن کاملDependencies in Strategy Logic∗
Strategy Logic (SL) is a very expressive logic for expressing and verifying properties of multi-agent systems: in SL, one can quantify over strategies, assign them to agents, and express properties of the resulting plays. Such a powerful framework has two drawbacks: first, model checking SL has non-elementary complexity; second, the exact semantics of SL is rather intricate, and may not corresp...
متن کاملThe Strategy Logic Saga
In open-system verification, a fundamental area of research is the study of modal logics for strategic reasoning in the setting of multi-agent games [3, 5]. An important contribution in this field has been the development of Alternating-Time Temporal Logic (ATL∗, for short), introduced by Alur, Henzinger, and Kupferman [1]. Formally, it is obtained as a generalization of the logic CTL∗ [4], whe...
متن کاملUpdatable Strategy Logic
In this article, we present Updatable Strategy Logic (USL), a multi-agent temporal logic which subsumes the main propositions in this area, such as ATL-ATL*, ATLsc and SL. These logics allow to express the capabilities of agents to ensure the satisfaction of temporal properties. USL mainly di ers from SL in two ways. Semantically, the notion of strategy composition is extended to enable an agen...
متن کاملStrategy Logic Fragments
Strategy Logic (SL, for short) has been recently introduced by Mogavero, Murano, and Vardi as a formalism for reasoning explicitly about strategies, as first-order objects, in multi-agent concurrent games [3]. This logic turns to be very powerful, strictly subsuming all major previously studied modal logics for strategic reasoning, including ATL, ATL∗, and the like. The price that one has to pa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2010
ISSN: 0890-5401
DOI: 10.1016/j.ic.2009.07.004